4

A visual environment to define composition of interacting graphical objects

Year:
1992
Language:
english
File:
PDF, 1.10 MB
english, 1992
5

Modelling and Verification of PREMO Synchronisable Objects

Year:
1998
Language:
english
File:
PDF, 163 KB
english, 1998
6

The Changing Face of Standardization: A Place for Formal Methods?

Year:
1999
Language:
english
File:
PDF, 132 KB
english, 1999
8

Analysing Cognitive Behaviour using LOTOS and Mexitl

Year:
1999
Language:
english
File:
PDF, 241 KB
english, 1999
10

A reference framework for continuous interaction

Year:
2002
Language:
english
File:
PDF, 230 KB
english, 2002
13

Using Hybrid Automata to Support Human Factors Analysis in a Critical System

Year:
2001
Language:
english
File:
PDF, 186 KB
english, 2001
15

Editorial

Year:
1997
Language:
english
File:
PDF, 289 KB
english, 1997
17

Haptic Cues for Image Disambiguation

Year:
2000
Language:
english
File:
PDF, 181 KB
english, 2000
18

On the Application of Quantization and Dithering Techniques to History of Arts

Year:
1993
Language:
english
File:
PDF, 684 KB
english, 1993
23

Conflict Management Program Helps Teens Help Teens

Year:
1987
Language:
english
File:
PDF, 126 KB
english, 1987
24

Practicing on the CORE Graphics System

Year:
1982
Language:
english
File:
PDF, 499 KB
english, 1982
31

5B.03

Year:
2015
Language:
english
File:
PDF, 61 KB
english, 2015